#!/bin/bash

PDIR=/tmp/profiling
INPUT=$1
LASTTIME=0
doit(){
    echo -n "$1"
    TIME=`cat $1 |sed 's/timestamp //g'`
    DIFF=`expr ${TIME} - ${LASTTIME}`
    echo  " ${TIME}, DIFF=${DIFF}"
    LASTTIME=${TIME}
}
doit ${PDIR}/LD_DIRS_${INPUT}
doit ${PDIR}/LD_LIBS_${INPUT}
doit ${PDIR}/PLIBS_${INPUT}
doit ${PDIR}/LOCAL_EXEC_DEPS_${INPUT}
doit ${PDIR}/LOCAL_EDPNODIR_${INPUT}
doit ${PDIR}/EXTERNAL_EXEC_DEPLIBS_${INPUT}
doit ${PDIR}/EXTERNAL_EXEC_DEPS_${INPUT}
